$M$.dout2($l$;${\it tg}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($M$.2).1(rcv($l$,${\it tg}$))?Void